Combining temporal logic systems (1996)
Source: Notre Dame Journal of Formal Logic. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e GABBAY, Dov. Combining temporal logic systems. Notre Dame Journal of Formal Logic, v. 37, n. 2, p. 204-232, 1996Tradução . . Disponível em: https://doi.org/10.1305/ndjfl/1040046087. Acesso em: 21 maio 2024.APA
Finger, M., & Gabbay, D. (1996). Combining temporal logic systems. Notre Dame Journal of Formal Logic, 37( 2), 204-232. doi:10.1305/ndjfl/1040046087NLM
Finger M, Gabbay D. Combining temporal logic systems [Internet]. Notre Dame Journal of Formal Logic. 1996 ; 37( 2): 204-232.[citado 2024 maio 21 ] Available from: https://doi.org/10.1305/ndjfl/1040046087Vancouver
Finger M, Gabbay D. Combining temporal logic systems [Internet]. Notre Dame Journal of Formal Logic. 1996 ; 37( 2): 204-232.[citado 2024 maio 21 ] Available from: https://doi.org/10.1305/ndjfl/1040046087